DEF=imp
EXT=imp
TESTDIR=.
KOMPILE_BACKEND?=llvm
KOMPILE_FLAGS=--emit-json

include ../../../include/kframework/ktest.mak
